分散系state LibraryでModelingする